#include <string.h>
namespace SV_STRBO_BOUND_COPY_UNTERM {
	
	namespace bad {
		int main(int argc, char* argv[]) {
			char foo[10];
			strncpy(foo, "1234567890", sizeof(foo));
		}
	}



	namespace good {
		int main(int argc, char* argv[]) {
			char foo[12];
			strncpy(foo, "1234567890", sizeof(foo));
		}
	}
}